121. Geometric computation /
پدیدآورنده : editors Falai Chen, Dongming Wang.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Geometry-- Computer programs.,Geometry-- Data processing.,Géométrie-- Informatique.,Géométrie-- Logiciels.,Geometry-- Computer programs.,Geometry-- Data processing.,MATHEMATICS-- Number Theory.
رده :
QA448
.
D38
G464
2004eb
122. Global Analysis in Linear Differential Equations
پدیدآورنده : by Mitsuhiko Kohno.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algebra-- Data processing.,Differential Equations.,Functional equations.,Functions, special.,Mathematics.
123. Graph drawing and network visualization :
پدیدآورنده : Therese Biedl, Andreas Kerren (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer graphics, Congresses.,Graph theory-- Data processing, Congresses.,Algorithm Analysis and Problem Complexity.,Artificial Intelligence.,Computer Graphics.,Data Structures.,Discrete Mathematics in Computer Science.,Computer graphics.,Graph theory-- Data processing.
رده :
QA76
.
9
.
A43
124. Graph-theoretic concepts in computer science :
پدیدآورنده : Andreas Brandstädt, Ekkehard Köhler, Klaus Meer (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science-- Mathematics, Congresses.,Graph theory-- Data processing, Congresses.,Algorithm Analysis and Problem Complexity.,Arithmetic and Logic Structures.,Computer Graphics.,Data Structures.,Discrete Mathematics in Computer Science.,Algorithms & data structures.,Computer science-- Mathematics.,Computers-- Computer Graphics.,Computers-- Data Modeling & Design.,Computers-- Data Processing.,Computers-- Logic Design.,Computers-- Programming-- Algorithms.,Discrete mathematics.,Graph theory-- Data processing.,Graphics programming.
رده :
QA166
125. Gröbner bases :
پدیدآورنده : Thomas Becker, Volker Weispfenning, in cooperation with Heinz Kredel
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algebra-- Data processing,Gröbner bases,Algèbre commutative,base Gröbner,calcul formel
رده :
QA251
.
3
.
B43
1993
126. Guide to discrete mathematics :
پدیدآورنده : Gerard O'Regan.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science-- Mathematics.,Algorithms & data structures.,Computer programming-- software development.,Computer science-- Mathematics.,Computers-- Data Processing.,Computers-- History.,Computers-- Logic Design.,Computers-- Programming-- General.,Computing & information technology.,Discrete mathematics.,Mathematical modelling.,Mathematics-- Applied.,Maths for computer scientists.
رده :
QA76
.
9
.
M35
127. Handbook of flotation reagents :
پدیدآورنده : Srdjan M. Bulatovic.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Flotation reagents.,Flotation reagents.
رده :
TN523
.
B85
2010
128. Head first EJB /
پدیدآورنده : Kathy Sierra, Bert Bates.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : JavaBeans.,JavaBeans (Logiciel),JavaBeans.,JavaBeans.,Electronic data processing personnel-- Certification.,Java (Computer program language),Java (Langage de programmation), Guides, manuels, etc.,Electronic data processing personnel-- Certification.,Electronic data processing personnel-- Certification.,Java (Computer program language),Java (Computer program language),Java (Computer program language)-- Handbooks, manuals, etc.
رده :
QA76
.
3
.
S468
2003
129. High Integrity Software
پدیدآورنده : edited by Victor L. Winter, Sourav Bhattacharya.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Electronic data processing.,Software engineering.,Systems theory.
130. High Performance Computing in the Geosciences
پدیدآورنده : edited by François-Xavier Dimet.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Earth sciences -- Data processing -- Congresses.,Earth sciences -- Data processing.,Earth sciences -- Mathematics -- Congresses.
131. Higher national computing :
پدیدآورنده : Howard Anderson, Bruce Hellingsworth, Sharon Yull.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science, Problems, exercises, etc.,Computer science.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.
رده :
QA76
.
A6192
2004eb
132. IPython Interactive Computing and Visualization Cookbook, Second Edition :
پدیدآورنده :
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Command languages.,Information visualization.,Interactive computer systems.,Python.,Artificial intelligence.,Computers-- Data Processing.,Computers-- Intelligence (AI) & Semantics.,Data capture & analysis.,Information visualization.,Information visualization.,Interactive computer systems.
رده :
QA76
.
73
.
P98
.
R677
2018
133. IUTAM Symposium on Nonlinear Instability and Transition in Three-Dimensional Boundary Layers :
پدیدآورنده : edited by Peter W. Duck, Philip Hall.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Engineering.,Mechanics.,Physics.
134. Identification of Seismic Sources - Earthquake or Underground Explosion
پدیدآورنده : edited by Eystein S. Husebye, Svein Mykkeltveit.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Geography.,Physical geography.
135. Image Representation and Processing :
پدیدآورنده : by V.V. Alexandrov, N.D. Gorsky.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Image processing -- Mathematical models.
رده :
TA1637
.
B988
1993
136. Inconsistent Mathematics
پدیدآورنده : by Chris Mortensen.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algebra-- Data processing.,Logic, Symbolic and mathematical.,Logic.,Mathematics.
137. Information processing in medical imaging :
پدیدآورنده : edited by Albert C.S. Chung, James C. Gee, Paul A. Yushkevich, Siqi Bao.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Diagnostic imaging-- Data processing, Congresses.,Diagnostic Imaging.,Electronic Data Processing.,Diagnostic imaging-- Data processing.
رده :
RC78
.
7
.
D53
I54
2019